Artifacts Evaluated — Reusable

0:04:40

A formal foundation for symbolic evaluation with merging (Teaser)

0:14:03

Community Expectations for Research Artifacts and Evaluation Processes (Video, ESEC/FSE 2020)

0:02:02

Community Expectations for Research Artifacts and Evaluation Processes (Teaser, ESEC/FSE 2020)

0:30:01

NSF Sharing Expertise and Artifacts for Reuse Through Cybersecurity Community Hub SEARCCH

0:37:01

Birds of a Feather: Sharing Cybersecurity Research Artifacts To Accelerate Progress

0:29:01

Building Interactive Apps with Claude 3.5 Sonnet & Artifacts

0:04:57

Type-Level Programming with Match Types (Teaser)

0:15:08

[ICFP'22] Staged Compilation with Two-Level Type Theory

0:16:36

[ICFP'22] Generating Circuits with Generators

0:14:35

[ICFP'22] Modular Probabilistic Models via Algebraic Effects

0:05:00

The Decidability and Complexity of Interleaved Bidirected Dyck Reachability (Teaser)

0:04:56

Relational E-Matching (Teaser)

0:23:05

[POPL'22] Verified Compilation of C Programs with a Nominal Memory Model

0:06:09

ASPLOS'20 - Introduction to the conference by the PC chairs -- Prof. Luis Ceze and Karin Strauss

0:35:27

Eclipse Artifacts on Maven Central | EclipseCon Europe 2018

0:04:57

Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs (Teaser)

0:47:49

Advanced Spinnaker Lab 1: SpEL & Artifacts

0:04:58

Truly Stateless, Optimal Dynamic Partial Order Reduction (Teaser)

0:04:53

Verified Tensor-Program Optimization Via High-level Scheduling Rewrites (Teaser)

0:40:39

Wes Lambert - Endpoint Excavation: Digging Through Host Artifacts with Velociraptor

0:18:50

[PLDI24] Associated Effects: Flexible Abstractions for Effectful Programming

0:18:45

[POPL'22] A Separation Logic for Heap Space under Garbage Collection

0:04:36

Solving Constrained Horn Clauses Modulo Algebraic Data Types and Recursive Functions (Teaser)

0:15:05

[ICFP'22] Safe Couplings: Coupled Refinement Types